body {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 75%;
}

p {
	font-size: 1.2em;
}

div#content {
	
}

div.location {
	font-weight: bold;
	border-color: gray;
	border-style: dashed;
	border-width: 1px;
	width: 30em;
	padding: 4px;
	margin: 4px;
	margin-bottom: 8px;
}

span.desc {
	color: gray;
	font-style: oblique;
}

span.comment {
	color: green;
}

div.code {
	font-weight: bold;
	border-color: gray;
	border-style: dashed;
	border-width: 1px;
	width: 60em;
	color: #AF5A0A;
	padding: 4px;
	margin: 4px;
	margin-bottom: 8px;
}

dt {
	font-weight: bold;
	margin-top: 8px;
}

code {
	display: block;
	border: 1px dotted;
	padding: 4px;
	margin: 4px;
	width: 600px;
}
